On upper weightable spaces
نویسنده
چکیده
The weightable quasi-pseudo-metric spaces have been introduced by Matthews as part of the study of the denotational semantics of dataflow networks (e.g. [Mat92] and [Mat92a]). The study of these spaces has been continued in the context of Nonsymmetric Topology by Kunzi and Vajner ([KV93] and [Kün93]). We introduce and motivate the class of upper weightable quasi-pseudo-metric spaces. The relationship with the development of a topological foundation for the complexity analysis of programs ([Sch95]) is discussed, which leads to the study of the weightable optimal (quasi-pseudo-metric) join semilattices.
منابع مشابه
Complexity Spaces: Lifting & Directedness
The theory of complexity spaces has been introduced in [Sch95] as part of the development of a topological foundation for Complexity Analysis. The topological study of these spaces has been continued in the context of the theory of upper weightable spaces ([Sch96]), while the specific properties of total boundedness and Smyth completeness have been analyzed in [RS96]. Here we introduce a techni...
متن کاملComplexity Spaces Revisited
The complexity (quasi-pseudo-metric) spaces have been introduced as part of the development of a topological foundation for the complexity analysis of algorithms ((Sch95]). Applications of this theory to the complexity analysis of Divide & Conquer algorithms have been discussed in Sch95]. Typically these applications involve xed point arguments based on the Smyth completion. The notion of S-com...
متن کاملCaristi’s Type Mappings on Complete Partial Metric Spaces
We introduce a new type of Caristi’s mapping on partial metric spaces and show that a partial metric space is complete if and only if every Caristi mapping has a fixed point. From this result we deduce a characterization of bicomplete weightable quasi-metric spaces. Several illustrative examples are given.
متن کاملOn the Structure of the Dual Complexity Space: the General Case
The purpose of this note is to report the main results obtained by the authors in [8] and [9], respectively. The notion of a Smyth completable quasi-uniform space provides an efficient tool to give a topological foundation for many kinds of spaces which arise naturally in Theoretical Computer Science; in particular in Domain Theory (e.g. [5], [13] and [14]) and Complexity Theory (e.g. [9] and [...
متن کاملA special subspace of weighted spaces of holomorphic functions on the upper half plane
In this paper, we intend to define and study concepts of weight and weighted spaces of holomorphic (analytic) functions on the upper half plane. We study two special classes of these spaces of holomorphic functions on the upper half plane. Firstly, we prove these spaces of holomorphic functions on the upper half plane endowed with weighted norm supremum are Banach spaces. Then, we investigate t...
متن کامل